New Refiner & Disperser Providing a Principle of Conical Refiner

REFINER: Towards Formal Verification of Model Transformations

We present the Refiner tool, which offers techniques to define behavioural transformations applicable on formal models of concurrent systems, reason about semantics preservation and the preservation of safety and liveness properties of such transformations, and apply them on models. Behavioural transformations allow to change the potential behaviour of systems. This is useful for model-driven d...

Refiner: A Problem-Solving Environment for Scientific Simulator Creation

Space Instantiation. As previously noted, constraint instantiation contextualizes the specified constraint by associating abstract space variables with local procedure variables. Examination of the instantiated KIRCHOFF constraint shows that the two variables C and N are variables that iterate over the classes TWOTERMINAL and NODE, respectively. These expressions are abstract in the sense that ...

Self-tuning control of a chip refiner motor load

-On a chip refiner the gain of the transfer function between the refiner motor load and the plate gap is subject to a slow drift due to plate wear and to sudden changes in sign due to collapse of the pulp pad. A self-tuning regulator was designed to control motor load by manipulating the plate gap. It uses a recursive least-squares estimator with a variable forgetting factor in conjunction with...

Titanium Carbon Aluminium : a Novel Grain Refiner for Aluminium-lithium Alloys

The effect of rotor position on pulp properties in a two- zoned low consistency refiner

Earlier studies have shown that plate gaps are sometimes unequal in two-zoned low consistency refiners and that unequal gaps render unevenly refined pulp. It is also known that optimisation of plate gap in low consistency refining leads to improved energy efficiency. In this work, trials were made in mill scale in a modern TMP line equipped with a prototype 72 inch TwinFlo low consistency refin...